Chapter 1 PROBLEM SOLVING ENVIRONMENTS AND SYMBOLIC COMPUTING Richard
نویسنده
چکیده
What role should be played by symbolic mathematical computation facilities in scientific and engineering “problem solving environments”? Drawing upon standard facilities such as numerical and graphical libraries, symbolic computation should be useful for: The creation and manipulation of mathematical models; The production of custom optimized numerical software; The solution of delicate classes of mathematical problems that require handling beyond that available in traditional machine-supported floating-point computation. Symbolic representation and manipulation can potentially play a central organizing role in PSEs since their more general object representation allows a program to deal with a wider range of computational issues. In particular Numerical, graphical, and other processing can be viewed as special cases of symbolic manipulation with interactive symbolic computing providing both an organizing backbone and the communication “glue” among otherwise dissimilar components.
منابع مشابه
e-MGR: An Architecture for Symbolic Plasticity
The e-MGR architecture was designed for symbolic problem solving in task environments where data are noisy and problems are ill-defined. e-MGR is an operator-based, shared memory system which integrates problem solving ideas from symbolic artificial intelligence (AI) and adaptive systems research. The Computing Research Laboratory was established by the
متن کاملGeneration and Optimization of Numerical Programs by Symbolic Mathematical Methods
Symbolic mathematical methods and systems • support scientific and engineering “problem solving environments” (PSEs), • The specific manipulation of mathematical models as a precursor to the coding of algorithms • Expert system selection of modules from numerical libraries and other facilities • The production of custom numerical software such as derivatives or non-standard arithmetic codegener...
متن کاملInternational Sympo - sium on Design and Implementation of Symbolic Computation Systems ( DISCO
Recent research towards integrating symbolic mathematical reasoning and computation has led to prototypes of interfaces and environments. This paper introduces computation theories and structures to represent mathematical objects and applications of algorithms occuring in algorithmic services. The composition of reasoning and computation theories and structures provide a formal framework for th...
متن کاملProblem Solving Environments for Partial Differential Equation Based Applications (Ph.D. Thesis)
Problem solving environments represent the next generation of scientific computing software. This thesis deals with four aspects of building problem solving environments for partial differential equation based applications: software architecture of development frameworks, high level languages, computational intelligence, and integrating experimentation and computation. The software infrastructu...
متن کاملExcerpts from a Proposal to the National Science Foundation on Programming Environments and Tools for Advanced Scientiic Computation 2.1 Mathematical Modeling and Symbolic Computing
1 Summary We propose to concentrate on investigations of technology in support of advanced scientiic computation, based on a higher-level view of the relationship of mathematical modeling to computation. This is based on the following considerations: 1. Symbolic mathematical manipulation and computer algebra systems: These are tools and techniques that support problem solving, code development,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999